Linear logic

Results: 927



#Item
21Programming in Linear Temporal Logic Wolfgang Jeltsch Programming in Linear Temporal Logic

Programming in Linear Temporal Logic Wolfgang Jeltsch Programming in Linear Temporal Logic

Add to Reading List

Source URL: cs.ioc.ee

- Date: 2011-02-10 10:21:33
    22Lecture Notes on Harmony: Linear Logic Frank Pfenning Lecture 3 January 23, 2012

    Lecture Notes on Harmony: Linear Logic Frank Pfenning Lecture 3 January 23, 2012

    Add to Reading List

    Source URL: www.cs.cmu.edu

    - Date: 2012-02-17 11:16:30
      23Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UK

      Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UK

      Add to Reading List

      Source URL: homepages.inf.ed.ac.uk

      - Date: 2006-10-18 10:00:12
        24Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri INRIA, France http://kaustuv.chaudhuri.info Abstract. Linear logic is increasingly being used as a tool for communicating reasoning agents in domains such as

        Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri INRIA, France http://kaustuv.chaudhuri.info Abstract. Linear logic is increasingly being used as a tool for communicating reasoning agents in domains such as

        Add to Reading List

        Source URL: kaustuv.chaudhuri.info

        - Date: 2012-11-06 02:56:18
          25On Structuring Proof Search for First Order Linear Logic

          On Structuring Proof Search for First Order Linear Logic

          Add to Reading List

          Source URL: www.ki.inf.tu-dresden.de

          - Date: 2006-03-26 13:44:51
            26On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal

            On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal

            Add to Reading List

            Source URL: hal.archives-ouvertes.fr

            - Date: 2016-07-12 08:42:58
              27Emulating Linear Types in Haskell Wolfgang Jeltsch Linear logic

              Emulating Linear Types in Haskell Wolfgang Jeltsch Linear logic

              Add to Reading List

              Source URL: cs.ioc.ee

              - Date: 2012-02-17 05:07:23
                28Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract

                Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract

                Add to Reading List

                Source URL: eprints.cs.univie.ac.at

                - Date: 2016-08-08 07:44:57
                  29Lecture Notes on Cut Reduction as Computation: Linear Logic Frank Pfenning Lecture 4 January 30, 2012

                  Lecture Notes on Cut Reduction as Computation: Linear Logic Frank Pfenning Lecture 4 January 30, 2012

                  Add to Reading List

                  Source URL: www.cs.cmu.edu

                  - Date: 2012-02-08 07:35:51
                    30Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

                    Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

                    Add to Reading List

                    Source URL: eprints.cs.univie.ac.at

                    - Date: 2016-05-27 09:10:59